AXIOMS AND THEOREM OF BOOLEAN ALGEBRA